#pragma once
#include "parser.h"

class interpreter
{
private:
	parser* par;
public:
	interpreter(parser* par);
	~interpreter(void);
	bool execute_predicate(predicate& pred, bool isgoal);
	QString get_result();
	bool compare (QVector<variable*>& predargs, QVector<variable*>& clauseargs);
	bool execute_expression(QVector<element_expression*> exp) throw(char*);
	bool is_operator(QString str) ;
};

